
public class Main {

    public static void main(final String[] args) throws Exception {

        // BacktrackingSolver bt = new BacktrackingSolver();
        // SATContraintSolver sat = new SATContraintSolver();
        // DancingLinksSolver dls = new DancingLinksSolver();
        // StrategyBasedSolver sbs = new StrategyBasedSolver();
        PuzzleLoader pl = new PuzzleLoader("1_0-1_3puzzles.txt");
        pl.parse();

    }
}
